COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1986 Nov
C00005 00003	1986 November, 2nd file
C00008 00004	1986 November, 3rd file
C00010 00005	1986 Dec
C00012 00006	1987 Jan
C00014 00007	1987 Feb
C00015 ENDMK
C⊗;
1986 Nov

(letter: Audrey Marshall) (re: her painting of Timothy)
(draft: Bob Kahn) (re: digital library)
(brochure: cable co-op) (re: services, board, participation)
(certificate: ijcai) (re: award for research excellence)
(brochure: Monterey Plaza Hotel)
(paper: Mikhail S. Bernstam) (re: Bleeding Hearts and Liquid Assets:
	Seeking Rent on Public Goods)
(paper: Mikhail S. Bernstam) (re: "Not to slam the door": domestic economic
causes and the new Soviet foreign strategy)
(picture: Gov. Deukmejian)
(letter and papers: Sue Toledo)
(brochure: Union Bank priority banking)
(review: of Golden Gate by Vikram Seth (reviewer: John Hollander))
(newsletter: Minolta Contact Sheet)
(extract: STRIPS blocks axioms)
(letter: Sidney Hook) (re: UCRA attitude to Accuracy in Academia)
(brochure: USA Statistics in brief 1986)
(form: Fiera Milano, report of funds transfer)
(brochure: reliable water company, Fredkin)
(agreement: amendment with MAD for retainer, John Nafeh)
(souvenir: rules for Repino hotel, Russia, Soviet)
(notice: City of Davis, stored vehicle, (re: Vera's mazda))
(business card: Alexandr K. Platonov)
(business card: Audrey Marshall)
(letter: from Sarah with picture of herself on Smiley)
(paper draft: (author: Vladimir Lifschitz) (title: Circumscription
in the blocks world) (date: 1985 December))
(cartoon: (S. Harris, abnormal penguin))
(business card: Victor Briabrin with phones, Soviet)
1986 November, 2nd file

(letter: Sarah)
(brochure: Consumer Alert)
(clipping: Wall Street Journal, wsj, Futuristic computer-controlled houses
 	(re: .ess, essays in technology)
(letter: MAD stock option material (re: John Nafeh))
(letter: III directors' stock option plan)
(picture: proof sheet of pictures of Carolyn and me)
(paper: Ian Mason (title: Equivalence of First Order Lisp programs))
(notes: jmc, What good are intentions for AI?)
(notes: Leslie Kaelbling on blocks world)
(notes: Technology opinion files)
(agreement: sample non-disclosure agreeement)
(manual: Phone-mate 500 manual, telephone)
(clipping: wsj, 30 emigre Soviet scientists support sdi)
(notes: on prices of cellular telephones)
(notes: On Formal Theories of Action by Vladimir Lifschitz, VAL)
(notes: On the Semantics of STRIPS by Vladimir Lifschitz, VAL)
(memo: Formal Description of the Game of Pang-ke, John McCarthy, jmc
	Stanford AI Memo 17, July 20, 1964)
(letter: from Sidney Hook to Lane Kirkland about the electricity problem)
(paper: Gian-Carlo Rota, Combinatorial Analysis,
	every n↑2+1 sequence contains an increasing or decreasing n+1 sequence)
(paper: Karl Cohen, Nuclear Power)
(paper: Cartwright and McCarthy, Recursive Programs as Functions in a
	First Order Theory)
(memo: from ... Mick, notes for proposed joint book on AI)
(clipping: wsj Interior sec. decides not to list endangered vistas, wrong)
(clipping: wsj Build nuclear plants that don't need evacuation plans, wrong)
(paper: Gabriel and McCarthy, jmc, Queue-based multi-processing lisp, qlisp)
1986 November, 3rd file

(clipping: Wanted: an Einstein to Help Machines Think" by Kay Mills,
	based on interview with JMC)
(brochure: psa's computer system for flight info)
(manual: Casio PF-7000 databank calculator)
(manual: Socrates summary)
(memo: III stock option to John McCarthy)
(memo: III stock options)
(inventory: shed by Diffie)
(inventory: books by Diffie)
(memo: on 8 queens and general backtracking macro, jmc)
(notes: handwritten jmc)
(listing: blocks files jmc)
(draft: endemic nuclear war, non-SAIL computer file, jmc)
(map: Stanford maps)
(card: Christmas card from Elise Belenky)
(agreement: Inference Stock option)
(agreement: Consulting for MAD)
(draft: Vladimir Lifschitz, VAL, Prioritized circumscription and
	separable formulas)
(speech: jmc AAAI presidential speech)
(agreement: review of Dyson book for Reason)
(brochure: Maxxum 9000 system)
(article: (author: Hilton Cramer) (criticizes review by David Rieff
of Against all Hope by Armando Valladares) (title: Anti-Communism
and the Sontag circle) (note: Cramer has lots of good quotes from
Sontag, et. al.))
(book: On maxxum system)
1986 Dec

(report: on III)
(check stub from MGF and discontinuation announcement)
(article: (a: Sidney Hook) (t: My Running Debate with Einstein))
(handouts: Halmos problem seminar)
(paper: (a: A. J. van der Poorten) (t: An Introduction to Continued Fractions)
	(matrix approach))
(article: (a: Minsky) (t: Genius may be more common than you think))
(exam: cs306 final, Fall '86)
(notes: Timothy requirements, re: Carolyn trip to Italy)
(notes: On mental situations, rather obscure, jmc)
(note: Sarah's camera lens wants)
(check stubs: Inference, III, MCC)
(Notices AMS, Jan 1987, factorizing polynomials by Susan Landau, Thurston
letter agains military support, Models in population biology, Thomas
Naglylaki, U of Chicago)
(catalog: Ardis Russian books, 1986-87)
(notice: Peninsula Sanitary rates and services)
(letter: (from: Sharon Beach) (re: WICS banquet talk))
(memos: from SE2 on finances and deregulation of power generation)
(report: III operations, Nov. 86)
1987 Jan

Materials from Sam Sokolow on family
Ten commandments clipping
Stove hazard: letter to Co-op News
Food not main issue in earthquake safety: letter to Co-op News
letter from Pat
cartoon on AI
letter about Chernobyl panel - se2
Bethe-Seitz letter to nyt - se2
letter to Coors - se2
second world press - bukovsky, center for democracy
Staar card - Hoover
Accuracy in Media, stub for $100 donation
Ovation with perfect pitch ad
Games magazine - for computer puzzles
Mental STRIPS - note by VAL, Lifschitz 1985
ICOT restructures
Pointwise circumscription - VAL, Lifschitz, 1986 jan
circumscription in the blocks world, val, lifschitz, 1985 oct
Malachi thesis, 1986 jan
Dreyfus reconciliation of AI and phenomenology
Schorr and Waite garbage collection
ucs brochure - Can we trust the Russians?
letter to u.s. ambassador to IAEA from SE2
Multi-valued logics, Matthew Ginsberg, 1986 Sept
nsf computer hierarchy, Gordon Bell empire
inference check stub $1125
MGF check stub $24.02
letter and materials from SE2 Todorovich
MCC contract amendment, $10K limit for 1987 consulting and expenses
letter from Sam Sokolow to Patrick McCarthy
1987 Feb

check stub from SRA for Chicago videotaping
Notes on Hintikka talk
Accuracy in Academia propaganda (subscribed Feb 9)